\relax 
\citation{valeriaThesis}
\@writefile{toc}{\contentsline {chapter}{\numberline {5}Evaluation}{132}{chapter.5}}
\newlabel{chapter:validation}{{5}{132}{Evaluation\relax }{chapter.5}{}}
\@writefile{toc}{\contentsline {section}{\numberline {5.1}Example 1: To Publish Music}{133}{section.5.1}}
\newlabel{sec:toPublishMusic_inpractice}{{5.1}{133}{Evaluation\relax }{section.5.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.1}$\pi $-UseCase Model}{133}{subsection.5.1.1}}
\newlabel{sec:usecase_topublishMusic}{{5.1.1}{133}{Evaluation\relax }{subsection.5.1.1}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {55}{\ignorespaces \textit  {To Publish Music} $\pi $-UseCase.\relax }}{134}{figure.caption.75}}
\newlabel{fig:publishMusic_usecase}{{55}{134}{\textit {To Publish Music} $\pi $-UseCase.\relax \relax }{figure.caption.75}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.2}$\pi $-ServiceProcess Model}{134}{subsection.5.1.2}}
\newlabel{sec:serviceProcess_topublishMusic}{{5.1.2}{134}{Evaluation\relax }{subsection.5.1.2}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {56}{\ignorespaces \textit  {To Publish Music} $\pi $-UseCase Environment Detail.\relax }}{135}{figure.caption.76}}
\newlabel{fig:toolpublishMusic_usecase}{{56}{135}{\textit {To Publish Music} $\pi $-UseCase Environment Detail.\relax \relax }{figure.caption.76}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {57}{\ignorespaces \textit  {To Publish Music}$\pi $-UseCase Environment Detail.\relax }}{135}{figure.caption.77}}
\newlabel{fig:toolpublishMusic_usecase2}{{57}{135}{\textit {To Publish Music}$\pi $-UseCase Environment Detail.\relax \relax }{figure.caption.77}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {58}{\ignorespaces To Publish Music Services.\relax }}{136}{figure.caption.78}}
\newlabel{fig:servicesToPublishMusic}{{58}{136}{To Publish Music Services.\relax \relax }{figure.caption.78}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {59}{\ignorespaces \textit  {To Publish Music} $\pi $-ServiceProcess.\relax }}{136}{figure.caption.79}}
\newlabel{fig:publishmusic_piserviceProcessToolModelProperties}{{59}{136}{\textit {To Publish Music} $\pi $-ServiceProcess.\relax \relax }{figure.caption.79}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.3}$\pi $-ServiceComposition Model}{137}{subsection.5.1.3}}
\newlabel{sec:serviceComposition_topublishMusic}{{5.1.3}{137}{Evaluation\relax }{subsection.5.1.3}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {60}{\ignorespaces \textit  {To Publish Music} $\pi $-ServiceComposition Model.\relax }}{138}{figure.caption.80}}
\newlabel{fig:topublishMusic_piserviceCompositionToolModel}{{60}{138}{\textit {To Publish Music} $\pi $-ServiceComposition Model.\relax \relax }{figure.caption.80}{}}
\@writefile{toc}{\contentsline {section}{\numberline {5.2}Example 2: Crime Map}{138}{section.5.2}}
\newlabel{sec:crimes_inpractice}{{5.2}{138}{Evaluation\relax }{section.5.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.1}$\pi $-UseCase Model}{139}{subsection.5.2.1}}
\newlabel{sec:usecase_crimesMap}{{5.2.1}{139}{Evaluation\relax }{subsection.5.2.1}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {61}{\ignorespaces Crime Map $\pi $-UseCase.\relax }}{140}{figure.caption.81}}
\newlabel{fig:usecaseCrimeMap_total}{{61}{140}{Crime Map $\pi $-UseCase.\relax \relax }{figure.caption.81}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {62}{\ignorespaces \textit  {Search crime} $\pi $-UseCase Detail.\relax }}{141}{figure.caption.82}}
\newlabel{fig:usecaseCrimeMap1}{{62}{141}{\textit {Search crime} $\pi $-UseCase Detail.\relax \relax }{figure.caption.82}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {63}{\ignorespaces \textit  {See crime information} $\pi $-UseCase Detail.\relax }}{142}{figure.caption.83}}
\newlabel{fig:usecaseCrimeMap2}{{63}{142}{\textit {See crime information} $\pi $-UseCase Detail.\relax \relax }{figure.caption.83}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.2}$\pi $-ServiceProcess Model}{142}{subsection.5.2.2}}
\newlabel{sec:serviceprocess_crimesMap}{{5.2.2}{142}{Evaluation\relax }{subsection.5.2.2}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {64}{\ignorespaces Crime Map Services.\relax }}{143}{figure.caption.84}}
\newlabel{fig:servicesCrimeMap}{{64}{143}{Crime Map Services.\relax \relax }{figure.caption.84}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {65}{\ignorespaces \textit  {Crime information} $\pi $-ServiceProcess.\relax }}{143}{figure.caption.85}}
\newlabel{fig:serviceProcessCrimeMap}{{65}{143}{\textit {Crime information} $\pi $-ServiceProcess.\relax \relax }{figure.caption.85}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {66}{\ignorespaces \textit  {Crime information} $\pi $-ServiceProcess Environment.\relax }}{144}{figure.caption.86}}
\newlabel{fig:toolserviceProcessCrimeMap}{{66}{144}{\textit {Crime information} $\pi $-ServiceProcess Environment.\relax \relax }{figure.caption.86}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {67}{\ignorespaces \textit  {See crime statistic and share information} $\pi $-ServiceProcess Detail.\relax }}{145}{figure.caption.87}}
\newlabel{fig:serviceProcessCrimeMap2}{{67}{145}{\textit {See crime statistic and share information} $\pi $-ServiceProcess Detail.\relax \relax }{figure.caption.87}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.3}$\pi $-ServiceComposition Model}{145}{subsection.5.2.3}}
\newlabel{sec:servicecomposition_crimesMap}{{5.2.3}{145}{Evaluation\relax }{subsection.5.2.3}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {68}{\ignorespaces \textit  {Crime statistic and share information} $\pi $-ServiceComposition Environment.\relax }}{146}{figure.caption.88}}
\newlabel{fig:toolserviceProcessCrimeMap2}{{68}{146}{\textit {Crime statistic and share information} $\pi $-ServiceComposition Environment.\relax \relax }{figure.caption.88}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {69}{\ignorespaces \textit  {Crime information} $\pi $-ServiceComposition.\relax }}{147}{figure.caption.89}}
\newlabel{fig:serviceCompositionCrimeMap}{{69}{147}{\textit {Crime information} $\pi $-ServiceComposition.\relax \relax }{figure.caption.89}{}}
\citation{valeriaThesis}
\@writefile{lof}{\contentsline {figure}{\numberline {70}{\ignorespaces \textit  {Crime information} $\pi $-ServiceComposition Environment.\relax }}{148}{figure.caption.90}}
\newlabel{fig:toolserviceCompositionCrimeMap}{{70}{148}{\textit {Crime information} $\pi $-ServiceComposition Environment.\relax \relax }{figure.caption.90}{}}
\citation{valeriaThesis}
\citation{valeriaThesis}
\@writefile{lof}{\contentsline {figure}{\numberline {71}{\ignorespaces \textit  {Crime statistic and share information} $\pi $-ServiceComposition.\relax }}{149}{figure.caption.91}}
\newlabel{fig:serviceCompositionCrimeMap2}{{71}{149}{\textit {Crime statistic and share information} $\pi $-ServiceComposition.\relax \relax }{figure.caption.91}{}}
\@writefile{toc}{\contentsline {section}{\numberline {5.3}Example 3: GesIMED Application}{149}{section.5.3}}
\newlabel{sec:siw_gesimed}{{5.3}{149}{Evaluation\relax }{section.5.3}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {72}{\ignorespaces \textit  {See crime statistic and share information} $\pi $-ServiceComposition Environment Detail.\relax }}{150}{figure.caption.92}}
\newlabel{fig:toolserviceCompositionCrimeMap2}{{72}{150}{\textit {See crime statistic and share information} $\pi $-ServiceComposition Environment Detail.\relax \relax }{figure.caption.92}{}}
\newlabel{list:crimeInformationPEWS}{{5.1}{151}{pi-PEWS Specification: Crime information}{lstlisting.5.1}{}}
\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.1}pi-PEWS Specification: Crime information.}{151}{lstlisting.5.1}}
\newlabel{fig:crimeInformationPEWS}{{\caption@xref {fig:crimeInformationPEWS}{ on input line 705}}{151}{Evaluation\relax }{lstnumber.5.1.25}{}}
\newlabel{list:crimeStatisticsPEWS}{{5.2}{151}{pi-PEWS Specification: Crime statistic and share information}{lstlisting.5.2}{}}
\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.2}pi-PEWS Specification: Crime statistic and share information.}{151}{lstlisting.5.2}}
\newlabel{fig:crimeStatisticsPEWS}{{\caption@xref {fig:crimeStatisticsPEWS}{ on input line 753}}{151}{Evaluation\relax }{lstnumber.5.2.33}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3.1}\textit  {$\pi $-UseCase} Model}{152}{subsection.5.3.1}}
\@writefile{lof}{\contentsline {figure}{\numberline {73}{\ignorespaces $\pi $-UseCase: Perform Image Processing.\relax }}{152}{figure.caption.95}}
\newlabel{fig:piUseCase-imageProcessing}{{73}{152}{$\pi $-UseCase: Perform Image Processing.\relax \relax }{figure.caption.95}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {74}{\ignorespaces $\pi $-ServiceProcess: Perform Image Processing.\relax }}{152}{figure.caption.96}}
\newlabel{fig:piServiceProcess-imageProcessing}{{74}{152}{$\pi $-ServiceProcess: Perform Image Processing.\relax \relax }{figure.caption.96}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3.2}\textit  {$\pi $-ServiceProcess} Model}{153}{subsection.5.3.2}}
\@writefile{lof}{\contentsline {figure}{\numberline {75}{\ignorespaces $\pi $-ServiceComposition: Perform Image Processing.\relax }}{153}{figure.caption.97}}
\newlabel{fig:piServiceComposition-imageProcessing}{{75}{153}{$\pi $-ServiceComposition: Perform Image Processing.\relax \relax }{figure.caption.97}{}}
\newlabel{list:pewsNeuro}{{5.3}{154}{pi-PEWS Specification: Perform Image Processing}{lstlisting.5.3}{}}
\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.3}pi-PEWS Specification: Perform Image Processing.}{154}{lstlisting.5.3}}
\newlabel{fig:pewsNeuro}{{\caption@xref {fig:pewsNeuro}{ on input line 974}}{154}{Evaluation\relax }{lstnumber.5.3.42}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3.3}\textit  {$\pi $-ServiceComposition} Model}{154}{subsection.5.3.3}}
\@writefile{toc}{\contentsline {section}{\numberline {5.4}Lessons Learned}{155}{section.5.4}}
\newlabel{sec:leassonsLearned}{{5.4}{155}{Evaluation\relax }{section.5.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4.1}Example 1: To Publish Music}{155}{subsection.5.4.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4.2}Example 2: Crime Map}{155}{subsection.5.4.2}}
\citation{valeriaThesis}
\citation{valeriaThesis}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4.3}Example 3: GesIMED}{156}{subsection.5.4.3}}
\citation{valeriaThesis}
\citation{valeriaThesis}
\citation{valeriaThesis}
\citation{valeriaThesis}
\@writefile{lof}{\contentsline {figure}{\numberline {76}{\ignorespaces Use Case Model~\cite  {valeriaThesis}.\relax }}{157}{figure.caption.99}}
\newlabel{fig:sodm_usecase}{{76}{157}{Use Case Model~\cite {valeriaThesis}.\relax \relax }{figure.caption.99}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {77}{\ignorespaces Extended Use Case Model~\cite  {valeriaThesis}.\relax }}{157}{figure.caption.100}}
\newlabel{fig:sodm_extendedusecase}{{77}{157}{Extended Use Case Model~\cite {valeriaThesis}.\relax \relax }{figure.caption.100}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {78}{\ignorespaces Image Processing - Service Process Diagram~\cite  {valeriaThesis}.\relax }}{157}{figure.caption.101}}
\newlabel{fig:sp-imageProcessing}{{78}{157}{Image Processing - Service Process Diagram~\cite {valeriaThesis}.\relax \relax }{figure.caption.101}{}}
\citation{valeriaThesis}
\citation{valeriaThesis}
\citation{basili:1985}
\citation{basili:1985}
\citation{Kontio:1996}
\@writefile{lof}{\contentsline {figure}{\numberline {79}{\ignorespaces Image Processing - Service Composition Diagram~\cite  {valeriaThesis}.\relax }}{158}{figure.caption.102}}
\newlabel{fig:sc-imageProcessing}{{79}{158}{Image Processing - Service Composition Diagram~\cite {valeriaThesis}.\relax \relax }{figure.caption.102}{}}
\@writefile{toc}{\contentsline {section}{\numberline {5.5}Measurement and Evaluation of the $\pi $SOD-M Methodology}{158}{section.5.5}}
\citation{basili:1985}
\citation{basili:1985}
\citation{basili:1985}
\@writefile{toc}{\contentsline {paragraph}{Generate a set of goals:}{159}{Item.12}}
\citation{basili:1985}
\@writefile{lot}{\contentsline {table}{\numberline {8}{\ignorespaces $\pi $SOD-M's Goals and Questions\relax }}{160}{table.caption.103}}
\newlabel{tab7:questions}{{8}{160}{$\pi $SOD-M's Goals and Questions\relax \relax }{table.caption.103}{}}
\@writefile{toc}{\contentsline {paragraph}{Set of questions of interest which quantify the goals:}{160}{Item.16}}
\@writefile{toc}{\contentsline {paragraph}{Set of data metrics and distributions:}{160}{table.caption.103}}
\@writefile{toc}{\contentsline {paragraph}{Collecting the data:}{160}{table.caption.104}}
\@writefile{lot}{\contentsline {table}{\numberline {9}{\ignorespaces $\pi $SOD-M's Metrics/Distributions\relax }}{161}{table.caption.104}}
\newlabel{tab8:metrics}{{9}{161}{$\pi $SOD-M's Metrics/Distributions\relax \relax }{table.caption.104}{}}
\@writefile{lot}{\contentsline {table}{\numberline {10}{\ignorespaces Results: $\pi $SOD-M's Metrics/Distributions\relax }}{161}{table.caption.105}}
\newlabel{tab9:data}{{10}{161}{Results: $\pi $SOD-M's Metrics/Distributions\relax \relax }{table.caption.105}{}}
\@writefile{toc}{\contentsline {paragraph}{Evaluation of the data:}{161}{table.caption.104}}
\@writefile{toc}{\contentsline {paragraph}{Conclusions:}{162}{table.caption.105}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.1}Comparison of the SOD-M and $\pi $SOD-M approaches}{162}{subsection.5.5.1}}
\@writefile{lot}{\contentsline {table}{\numberline {11}{\ignorespaces Comparison: SOD-M and $\pi $SOD-M\relax }}{163}{table.caption.106}}
\newlabel{tab6:comparison}{{11}{163}{Comparison: SOD-M and $\pi $SOD-M\relax \relax }{table.caption.106}{}}
\citation{basili:1985}
\@writefile{toc}{\contentsline {section}{\numberline {5.6}Conclusions}{165}{section.5.6}}
\newlabel{sec:conclusion_validation}{{5.6}{165}{Evaluation\relax }{section.5.6}{}}
\@setckpt{chapters/validation/validation}{
\setcounter{page}{167}
\setcounter{equation}{0}
\setcounter{enumi}{4}
\setcounter{enumii}{0}
\setcounter{enumiii}{0}
\setcounter{enumiv}{0}
\setcounter{footnote}{4}
\setcounter{mpfootnote}{0}
\setcounter{part}{0}
\setcounter{chapter}{5}
\setcounter{section}{6}
\setcounter{subsection}{0}
\setcounter{subsubsection}{0}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{figure}{79}
\setcounter{table}{11}
\setcounter{endNonectr}{44}
\setcounter{currNonectr}{0}
\setcounter{currexamplctr}{10}
\setcounter{endexamplctr}{0}
\setcounter{exampl}{10}
\setcounter{r@tfl@t}{1}
\setcounter{lstnumber}{43}
\setcounter{ContinuedFloat}{0}
\setcounter{parentequation}{0}
\setcounter{KVtest}{0}
\setcounter{subfigure}{0}
\setcounter{subfigure@save}{3}
\setcounter{lofdepth}{1}
\setcounter{subtable}{0}
\setcounter{subtable@save}{0}
\setcounter{lotdepth}{1}
\setcounter{Item}{16}
\setcounter{Hfootnote}{30}
\setcounter{bookmark@seq@number}{99}
\setcounter{regraA}{1}
\setcounter{regraB}{1}
\setcounter{lstlisting}{3}
\setcounter{section@level}{0}
}
